Program Synthesis and Transformations in an Object-oriented Environment Program Synthesis and Transformations in an Object-oriented Environment
نویسندگان
چکیده
An object-oriented language with automatic synthesis of methods (programs) and transformations of OO descriptions using a logical metalanguage (Horn-clause logic) are considered. Automatic synthesis of methods (Proof-As-Program approach) is based on in-tuitionistic propositional calculus. The metalanguage expresses general knowledge related to classes and objects and it is used for describing transformations of classes and objects according to these knowledge and current state of an object base. Partial deduction in combination with classical deduction is used for manipulating descriptions in the metalanguage. Program synthesis and transformation of classes and objects allow to combine declarative and imperative styles of programming and to support dynamic evolution of OO environment.
منابع مشابه
Program synthesis and transformations in an object-oriented environment
An object-oriented language with automatic synthesis of methods (programs) and transformations of OO descriptions using a logical metalanguage (Horn-clause logic) are considered. Automatic synthesis of methods (Proof-As-Program approach) is based on intuitionistic propositional calculus. The metalanguage expresses general knowledge related to classes and objects and it is used for describing tr...
متن کاملModelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملReasoning and Synthesis in an Object-Oriented System
This paper considers the problem of providing an Object-Oriented (OO) system with reasoning and program synthesis abilities. We consider an object-oriented knowledge system in which methods are synthesized from speciications using an intuitionis-tic propositional calculus and a Proof-As-Program methodology. In order to support reasoning about some dynamic aspects of the OO system, we propose to...
متن کاملChange Detection Gamasiab River Margins in Kermanshah by Comparison Pixel Base and Object Orientd Algorithms
Introduction Land use reflects the interactive characteristics of humans and the environment and describes how human exploitation works for one or more targets on the ground. Land use is usually defined on the basis of human use of the land, with an emphasis on the functional role of land in economic activities. Land use, which is associated with human activity, is undergoing change over time....
متن کامل$omega$-Operads of coendomorphisms and fractal $omega$-operads for higher structures
In this article we introduce the notion of textit{Fractal $omega$-operad} emerging from a natural $omega$-operad associated to any coglobular object in the category of higher operads in Batanin's sense, which in fact is a coendomorphism $omega$-operads. We have in mind coglobular object of higher operads which algebras are kind of higher transformations. It follows that this natural $omeg...
متن کامل